A Cross-Domain Recommendation Model for Cyber-Physical Systems
نویسندگان
چکیده
منابع مشابه
Domain-Specific Model Checking for Cyber-Physical Systems
Cyber-physical systems (CPS) require model checking to guarantee the functional correctness of software models, providing counterexamples in case of violations. Domain-specific model checking (DSMC) allows to apply model checking to specific application domains. DSMC hides the complexity of using a model checker by translating from a domain-specific modeling language (DSML) to the model checker...
متن کاملStatistical Model Checking for Cyber-Physical Systems
Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyberphysical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by...
متن کاملA Model-driven QoS Provisioning Engine for Cyber Physical Systems
Developing cyber physical systems is hard since it requires a coordinated, physics-aware allocation of CPU and network resources to satisfy their end-to-end quality-of-service (QoS) requirements. This paper provides two contributions to address these challenges. First, we present model-driven middleware called NetQoPE that shields application developers from the complexities of programming the ...
متن کاملA Cyclic Process Model for Monitoring Mobile Cyber-physical Systems
Basic approaches of mobile cyber-physical systems (CPS) such like cars, trains, aeroplanes or spaceships are parts of our daily life. Mobile CPSs are embedded into a physical environment which is usually harsh and uncertain. Monitoring mobile CPSs is essential to ensure reliability and to avoid damage. Monitoring mobile CPSs presupposes knowledge about the CPS, the physical environment and the ...
متن کاملModel-Integrated Development of Cyber-Physical Systems
Cyber-physical systems represent a new class of systems that integrate physics with computation. Their correct design is frequently of great importance as they are applied in safetyor business-critical contexts. This paper introduces a model-integrated development approach that addresses the development needs of such systems through the pervasive use of models. A complete model-based view is pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Emerging Topics in Computing
سال: 2013
ISSN: 2168-6750
DOI: 10.1109/tetc.2013.2274044